dfa for binary number divisible by 5